bitkeeper revision 1.1557 (4294b94bIF7VSJm4DWqLidHZJXHecQ)
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 25 May 2005 17:43:39 +0000 (17:43 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 25 May 2005 17:43:39 +0000 (17:43 +0000)
x86/64 build fixes.
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/x86_64/traps.c
xen/arch/x86/x86_64/usercopy.c
xen/include/asm-x86/mach-es7000/mach_mpparse.h
xen/include/xen/dmi.h

index 4bd093a1dac22b91425c67327cdc9b29225ccd47..3a33e72a4d6e258cef68c1973033f8b210bcbf2b 100644 (file)
@@ -8,6 +8,7 @@
 #include <xen/irq.h>
 #include <xen/console.h>
 #include <xen/sched.h>
+#include <asm/flushtlb.h>
 #include <asm/msr.h>
 
 void show_registers(struct cpu_user_regs *regs)
index 547cacc91b39a77ada9fe4a35bb72ea8bb228610..e96eb94d4d56295c846a1774fbc22759f80dca64 100644 (file)
@@ -5,6 +5,8 @@
  * Copyright 1997 Linus Torvalds
  * Copyright 2002 Andi Kleen <ak@suse.de>
  */
+
+#include <xen/string.h>
 #include <asm/uaccess.h>
 
 /*
index 85809e0898d7d3cf93f9ae414cd091bc5097f5e8..a7c2658e3c0285fbaf548f609450589a04cda903 100644 (file)
@@ -20,7 +20,7 @@ static inline int mps_oem_check(struct mp_config_table *mpc, char *oem,
 {
        if (mpc->mpc_oemptr) {
                struct mp_config_oemtable *oem_table = 
-                       (struct mp_config_oemtable *)mpc->mpc_oemptr;
+                       (struct mp_config_oemtable *)(long)mpc->mpc_oemptr;
                if (!strncmp(oem, "UNISYS", 6))
                        return parse_unisys_oem((char *)oem_table, oem_table->oem_length);
        }
index d2bcf556088b99a58ead0a44c883a5c88df19c84..ba42456c50f6710c9f12bc26f5eb46dc04992fb7 100644 (file)
@@ -32,16 +32,7 @@ struct dmi_system_id {
 
 #define DMI_MATCH(a,b) { a, b }
 
-#if defined(CONFIG_X86) && !defined(CONFIG_X86_64)
-
 extern int dmi_check_system(struct dmi_system_id *list);
 extern char * dmi_get_system_info(int field);
 
-#else
-
-static inline int dmi_check_system(struct dmi_system_id *list) { return 0; }
-static inline char * dmi_get_system_info(int field) { return NULL; }
-
-#endif
-
 #endif /* __DMI_H__ */